Model-based reasoning - PDFSEARCH.IO - Document Search Engine

Model-based reasoning
Results: 65

#	Item
31	Modeling Human Reasoning about Meta-Information Sean Guarino, Jonathan Pfautz, & Zach Cox Charles River Analytics Inc. 625 Mount Auburn Street Cambridge, MA 02148 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2006-06-26 10:56:35 Scientific modeling Cognition Situation awareness Cognitive science Agent-based model Cognitive ergonomics Mental model Cognitive model Decision making Science Ethology Mind
32	Reasoning about Multi-agent Domains Using Action Language C: A Preliminary Study Chitta Baral1 , Tran Cao Son2 , and Enrico Pontelli2 1 Dept. Computer Science & Engineering, Arizona State University Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-06-12 21:22:14 Computing Automated planning and scheduling Logic programming Frame problem Agent-based model Action description language Action language Action theory Norm Multi-agent systems Artificial intelligence Science
33	AAAI-06 Technical Paper Abstracts (Organized by schedule of presentation) Tuesday, July 18 10:20 – 11:20 AM Machine Learning I Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-16 00:04:28 Inductive reasoning Reasoning Cybernetics Automated theorem proving Constraint programming Reasoning system Algorithm Collaborative filtering Agent-based model Artificial intelligence Science Cognition
34	Developing an International Space Station Curriculum for the Bootstrapped Learning Program Add to Reading List Source URL: www.stottlerhenke.com Language: English - Date: 2010-03-24 23:06:15 International Space Station Manned spacecraft Flight controller Telemetry Assertion Mission control center Combustion Integrated Rack Model-based reasoning Christopher C. Kraft Jr. Mission Control Center Spaceflight Decision theory Human spaceflight
35	Adv Physiol Educ 35: 59–67, 2011; doi:[removed]advan[removed]How We Teach Model-based reasoning: using visual tools to reveal student learning Add to Reading List Source URL: ctools.msu.edu Language: English - Date: 2012-03-20 10:02:17 Knowledge representation Diagrams Notetaking Educational technology Thought Concept map Mind map E-learning Map Cognition Education Mind
36	From: AAAI-93 Proceedings. Copyright © 1993, AAAI (www.aaai.org). All rights reserved. Case-Method: S iroaki Kit an0 Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-09 21:03:52 Relational database management systems Database theory Software development process Database management systems Software development Case-based reasoning Entity-relationship model Software development methodology Database Computing Software Data management
37	Reasoning about BDI Agents from a Programming Languages Perspective Wayne Wobcke School of Computer Science and Engineering University of New South Wales Sydney NSW 2052, Australia [removed] Add to Reading List Source URL: aaai.org Language: English - Date: 2007-04-18 18:09:48 Science Procedural reasoning system Action selection Belief–desire–intention model JACK Intelligent Agents AgentSpeak Reasoning system Action theory Agent-based model Artificial intelligence Multi-agent systems Computing
38	An Integrated Discourse Model for a Case-Based Reasoning Dialogue System Karolina Eliasson Linkoping University Department of Computer and Information Science SE[removed]Link¨oping [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-31 08:20:46 Fiction Applied linguistics Critical thinking Semantics Discourse analysis Dialogue Like Case-based reasoning Discourse Linguistics Sociolinguistics Science
39	Computational Models for Normative Multi-Agent Systems Natasha Alechina1 , Nick Bassiliades2 , Mehdi Dastani3 , Marina De Vos4 , Brian Logan1 , Sergio Mera5 , Andreasa Morris-Martin6 , and Fernando Schapachnik5 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2013-05-13 11:06:11 Science Norm Defeasible reasoning 2APL Agent-based model Deontic logic Software agent Actor model Reason Multi-agent systems Computing Artificial intelligence
40	QAPL[removed]Verification of Resource Requirements of Distributed Reasoning Agents 1 Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib2 School of Computer Science Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-06-18 10:10:29 Logic Automated theorem proving Agent-based model Complex systems theory Reasoning system Model checking Epistemic modal logic Algorithm Artificial intelligence Science Multi-agent systems